Railroad Crossing Heterogeneous Model
نویسندگان
چکیده
Systems are getting more and more complex and usually involve many stakeholders. Stakeholders are concerned by different aspects of the system, potentially supported by multiple Domain Specific Modeling Languages (DSMLs). The DSMLs are usually different not only in their syntax but also in their behavioral semantics. In order to provide simulation and/or verification of the overall system, it is mandatory to compose the DSMLs behavioral semantics. The composition of the DSMLs behavioral semantics results in the coordination of different models that conform to the DSMLs. This paper presents the coordination of the models representing a railroad crossing management system. The system is composed of two models, conforming to two different DSMLs. The paper explains the behavioral semantics of these DSMLs and presents a simple coordination of the models used in the example.
منابع مشابه
Safety Optimization of a Radio-based Railroad Crossing
In this paper we report on the safety analysis of a distributed and decentralized control of a railroad crossing: the radio-based level crossing. In particular we show how mathematical models and minimization techniques may be used to get good quantitative approximations for risk as well as to give advice to the system engineer how to choose free parameters like safety margins etc.
متن کاملRailway Gate Control System at Railroad-Highway Grade Crossing in Korea
Railroad-related accidents are more dangerous than other transportation accidents in terms of severity and death rate etc. Therefore more efforts are necessary for improving safety. In the mean time, Korean national railroad has researched and invested continuously such as intelligent safety equipments and level crossing between railroad and highway for decreasing railroad-related accident and ...
متن کاملA Solution to the Generalized Railroad Crossing Problem in ESTEREL
We present a solution to the Generalized Railroad Crossing benchmark problem based on the ESTEREL programming language. The solution is shown to satisfy the formal statements of the properties that the system requirements specify by using a verification method for safety properties of ESTEREL programs recently developed. The solution and verification presented have been developed within the syn...
متن کاملThe Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems
A new solution to the Generalized Railroad Crossing problem, based on timed automata, invariants and simulation mappings, i s presented and evaluated. The solution shows formally the correspondence between four system descriptions: an axiomatic specification, an operational specification, a discrete system implementation, and a system implementatdon that works with a continuous gate model.
متن کاملThe Railroad Crossing Problem: Towards Semantics of Timed Algorithms and Their Model Checking in High Level Languages
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to au-tomatize model checking in high level, easily understandable languages. We give here a general notion of timed transition system and its formula representation that are suucient to deal with some known examples of timed algorithms. We prove that the general semantic...
متن کامل